1. Automata Theory and its Applications
Author: \ Bakhadyr Khoussainov, Anil Nerode
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Information theory,کامپیوتر,نظریه اطلاعات,a03,a04,a03,a04
Classification :
E-Book
,
2. Automata Theory and its Applications
Author: by Bakhadyr Khoussainov, Anil Nerode.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information theory.
3. Automata theory and its applications
Author: / Bakhadyr Khoussainov, Anil Nerode
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Machine theory
Classification :
QA267
.
K56
2010
4. Automata theory and its applications
Author: Bakhadyr Khoussainov, Anil Nerode,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Machine theory
Classification :
QA
.
K56
267
2001
5. Combinatorial functors
Author: / J. N. Crossley, Anil Nerode
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Functor theory,Combinatorial analyis
Classification :
512
.
55
C951
6. Logic Programming and Nonmonotonic Reasoning :
Author: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
7. Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop
Author: edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
63
.
I5
1991
8. Logic for applications
Author: Nerode, Anil
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
N47
1997
9. Logic for applications
Author: Nerode, Anil, 2391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
N47
10. Logic for applications
Author: Nerode, Anil
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics,، Logic, Symboloc and mathematical
Classification :
QA
76
.
9
.
M35
.
N47
1997
11. Logic for applications
Author: / Anil Nerode, Richard A. Shore
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science-mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
,
N47
1997
12. Logic for applications /
Author: Anil Nerode, Richard A. Shore
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
N47
1997
13. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
Author: Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
1265
14. Logical Foundations of Computer Science
Author: \ Sergei Artemov , Anil Nerode (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگرهها ,منطق کامپیوتری -- کنگره ها
Classification :
QA
75
.
5
.
L6
2015
E-Book
,
15. Logical Foundations of Computer Science
Author: / Sergei Artemov, Anil Nerode
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
16. Logical foundations of computer science :
Author: Sergei Artemov, Anil Nerode (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer science, Congresses
17. Logical foundations of computer science
Author: / Sergei N. Artemov, Anil Nerode (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Congresses,Logic, Symbolic and mathematical--Congresses,Programa?c?ao laogica (congressos)--larpcal,Ci?encia da computa?c?ao (congressos)--larpcal
Classification :
QA
,
75
.
5
,.
L44
,
2007
18. Logical foundations of computer science
Author: Sergei Artemov, Anil Nerode (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer science, Congresses
Classification :
QA75
.
5
.
L43
2013
19. Logical foundations of computer science :
Author: eds.: Anil Nerode ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
20. Logical foundations of computer science : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6-12, 1997 : proceedigns
Author: Sergei Adian, Anil Nerode )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1234
